gesture: Handle GDK_TOUCH_CANCEL events

The wayland windowing backend emits such events for instance, so
have gestures cancel the sequence as those events get through.

diff --git a/gtk/gtkgesture.c b/gtk/gtkgesture.c
index 30d944a76ce64533e379fe682446a0aea674c258..d9bb9378763039028b920d66f6d3c24e2ac60006 100644 (file)
--- a/gtk/gtkgesture.c
+++ b/gtk/gtkgesture.c
@@ -523,6 +523,9 @@ gtk_gesture_handle_event (GtkEventController *controller,
           _gtk_gesture_check_recognized (gesture, sequence))
         g_signal_emit (gesture, signals[UPDATE], 0, sequence);
       break;
+    case GDK_TOUCH_CANCEL:
+      gtk_gesture_cancel_sequence (gesture, sequence);
+      break;
     default:
       /* Unhandled event */
       return FALSE;